Closing Message

Realizability of high-level message sequence charts: closing the gaps

We study the notion of safe realizability for high-level message sequence charts (HMSCs) (Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP 2001), Crete (Greece), Lecture Notes in Computer Science, Vol. 2076, Springer, Berlin, 2001, pp. 797–808). We show that safe realizability is EXPSPACE-complete for bounded HMSCs but undecidable for the class of a...

Welcoming Message to the JIRSS

It is a great honor to be invited to contribute to the first issue of the Journal of the Iranian Statistical Society. May the Journal and those associated with it have great success in attaining its goals and in furthering the progress of statistical science. While there has been worldwide recognition of the important role that statistics and statisticians play in producing progress in science ...

Closing Remarks.

Closing Chernobyl

With the integration of the KEGG and Predictome databases as well as two search engines for coexpressed genes/proteins using data sets obtained from the Stanford Microarray Database (SMD) and Gene Expression Omnibus (GEO) database, VisANT 3.0 supports exploratory pathway analysis, which includes multi-scale visualization of multiple pathways, editing and annotating pathways using a KEGG compati...

Closing talk

Nufact08 is the tenth in a series of workshops started in 1999, whose main goal is to understand options for future neutrino-oscillation experiments to attack the problems of the neutrino mass hierarchy and CP violation in the leptonic sector. I present a very brief review of what we know and what we would like to know about neutrino mass, mixing, and flavor change. I consider the interplay bet...